1

Reasoning about programs in continuation-passing style

Year:
1993
Language:
english
File:
PDF, 2.92 MB
english, 1993
2

The essence of compiling with continuations

Year:
2004
Language:
english
File:
PDF, 1.64 MB
english, 2004
4

What is a purely functional language?

Year:
1998
Language:
english
File:
PDF, 236 KB
english, 1998
7

A proof-theoretic foundation of abortive continuations

Year:
2007
Language:
english
File:
PDF, 634 KB
english, 2007
9

Editorial

Year:
2002
Language:
english
File:
PDF, 28 KB
english, 2002
20

Correctness of Monadic State: An Imperative Call-by-Need Calculus

Year:
1998
Language:
english
File:
PDF, 31 KB
english, 1998
25

A type-theoretic foundation of delimited continuations

Year:
2009
Language:
english
File:
PDF, 908 KB
english, 2009
34

Quantum Arrows in Haskell

Year:
2008
Language:
english
File:
PDF, 257 KB
english, 2008
42

Is continuation-passing useful for data flow analysis?

Year:
1994
Language:
english
File:
PDF, 999 KB
english, 1994
45

Discrete quantum theories

Year:
2014
Language:
english
File:
PDF, 236 KB
english, 2014